Natural Actions , Concurrency and Continuous Time in theSituation
نویسنده
چکیده
Our focus in this paper is on natural exoge-nous actions (Pinto 23]), namely those which occur in response to known laws of physics, like a ball bouncing at times determined by Newtonian equations of motion. The property of such actions that we wish to capture is that they must occur at their predicted times, provided no earlier actions (natural or agent initiated) prevent them from occurring. Because several such actions may occur simultaneously, we need a theory of concur-rency. Because such actions may be modeled by equations of motion, we need to represent continuous time. This paper shows how to gracefully accommodate all these features within the situation calculus, without sacri-cing the simple solution to the frame problem of Reiter 25]. One nice consequence of this approach is a situation calculus speci-cation of deductive planning, with continuous time and true concurrency, and where the agent can incorporate external natural event occurrences into her plans.
منابع مشابه
Policy Generation for Continuous-time Stochastic Domains with Concurrency
We adopt the framework of Younes, Musliner, & Simmons for planning with concurrency in continuous-time stochastic domains. Our contribution is a set of concrete techniques for policy generation, failure analysis, and repair. These techniques have been implemented in TEMPASTIC, a novel temporal probabilistic planner, and we demonstrate the performance of the planner on two variations of a transp...
متن کاملPlan Recognition by Program Execution in Continuous Temporal Domains
Much of the existing work on plan recognition assumes that actions of other agents can be observed directly. In continuous temporal domains such as traffic scenarios this assumption is typically not warranted. Instead, one is only able to observe facts about the world such as vehicle positions at different points in time, from which the agents’ plans need to be inferred. In this paper we show h...
متن کاملPlanning with Concurrency under Resources and Time Uncertainty
Planning with actions concurrency under resources and time uncertainty has been recognized as a challenging and interesting problem. Most current approaches rely on a discrete model to represent resources and time, which contributes to the combinatorial explosion of the search space when dealing with both actions concurrency and resources and time uncertainty. A recent alternative approach uses...
متن کاملAction Ontologies, Natural Actions and Interactions
We introduce Interaction Calculus (IC), a monotonic action logic that could be used to express concurrency, rami cations, quali cation constraints, natural actions and interactions. The novel elements of IC are action ontologies and interactions. Action ontologies structured by subsumption hierarchy allow us to design a new solution of quali cation problem for concurrent actions. We attempt to ...
متن کاملA Survey of Concurrency Control Algorithms in the Operating Systems
Concurrency control is one of the important problems in operation systems. Various studies have been reported to present different algorithms to address this problem, although a few attempts have been made to represent an overall view of the characteristics of these algorithms and comparison of their capabilities to each other. This paper presents a survey of the current methods for controlling...
متن کامل